صوری‌سازی قواعد قیاس حملی ارسطویی (همراه با نقد و بررسی قواعد قیاس حملی، در برخی از آثار آموزشی منطق)

قواعد قیاس حملی، که معمولاً تحت عنوان “the Rules of the Categorical Syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می‌شود، روش مفیدی است که جهت تشخیص اعتبار قیاس‌های حملی، به منطق‌آموزان، در کتاب‌های عمومی آموزش منطق، ارائه می‌شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرات در بازنویسی‌ها وابسته به عوامل مختلفی است که می‌توان به دو عامل سلیقه و ذوق مؤلف در ارائة مطالب و دیگری، منبع یا منابع مورد انتخاب مؤلف، اشاره کرد. هدف از این مقاله در گام اول، ارائة روشی تحلیلی جهت صوری‌سازی این قواعد است که منجر به ایجاد روش‌های مکانیکی و الگوریتمی شود؛ و در گام بعد، بتوان از رهیافت صوری‌سازی و محاسبه‌پذیر شدن این قواعد، با استفاده از یک الگوریتم قابل پیاده‌سازی توسط ماشین، به بررسی دقیق قواعد قیاس، در برخی از منابع آموزشی منطق پرداخت. در این مقاله، علاوه بر دسته‌بندی قواعد قیاس حملی، تقریر جدیدی از قواعد آن، با استفاده از مفهوم انبساط، ارائه می‌شود.